Sur les nombres de Fermat et de Mersenne

Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres

La mise en œuvre effective de méthodes de vérification de programmes comportant des calculs sur les nombres à virgule flottante reste encore problématique. Cela est en partie dû aux difficultés inhérentes à l’arithmétique des nombres à virgule flottante dont la pauvreté des propriétés rend souvent impossible la transposition de résultats établis sur les réels. C’est pourquoi nous présentons dan...

Etat actuel de nos connaissance sur les Theilerioses (Gonderioses) et l'aspect de ces maladies en Iran

Un nouvel algorithme de consistance locale sur les nombres flottants

Solving constraints over floating-point numbers is a critical issue in numerous applications notably in program verification. Capabilities of filtering algorithms over the floating-point numbers have been so far limited to 2b-consistency and its derivatives. Though safe, such filtering techniques suffer from the well known pathological problems of local consistencies, e.g., inability to efficie...

Etat actuel de nos connaissances sur les argasidés de l'Iran

Sur les fonctions de répartition et de réarrangement

1.2 Cas d’une fonction simple Il nous sera utile de savoir calculer les fonctions de répartition et de réarrangement des fonctions simples. Qui plus, cela permet de justifier un peu la définition de “fonction de réarrangement”. Soit donc f : X → R une fonction simple, i.e. une fonction mesurable ayant un nombre fini de valeurs. On utilise deux écritures de f , qui serviront à représenter λf et ...